国产bbaaaaa片,成年美女黄网站色视频免费,成年黄大片,а天堂中文最新一区二区三区,成人精品视频一区二区三区尤物

首頁> 外文OA文獻(xiàn) >A logic for assessing sets of heterogeneous testing hypotheses
【2h】

A logic for assessing sets of heterogeneous testing hypotheses

機(jī)譯：評估異構(gòu)測試假設(shè)集的邏輯

代理獲取
本網(wǎng)站僅為用戶提供外文OA文獻(xiàn)查詢和代理獲取服務(wù)，本網(wǎng)站沒有原文。下單后我們將采用程序或人工為您竭誠獲取高質(zhì)量的原文，但由于OA文獻(xiàn)來源多樣且變更頻繁，仍可能出現(xiàn)獲取不到、文獻(xiàn)不完整或與標(biāo)題不符等情況，如果獲取不到我們將提供退款服務(wù)。請知悉。
  • 摘要
  • 著錄項
  • 相似文獻(xiàn)
  • 相關(guān)主題

摘要

To ensure the conformance of an implementation under test (IUT) with respect to a specification requires, in general, the application of an infinite number of tests. In order to use finite test suites, most testing methodologies add some feasible hypotheses about the behavior of the IUT. Since these methodologies are designed for considering a fix set of hypotheses, they usually do not have the capability of dealing with other scenarios where the set of assumed hypotheses varies. We propose a logic to infer whether a set of observations (i.e., results of test applications) allows to claim that the IUT conforms to the specification if a specific set of hypotheses (taken from a repertory) is assumed.\ud\ud
機(jī)譯：為了確保被測實現(xiàn)（IUT）相對于規(guī)范的一致性，通常需要應(yīng)用無限數(shù)量的測試。為了使用有限的測試套件，大多數(shù)測試方法都添加了一些有關(guān)IUT行為的可行假設(shè)。由于這些方法是為考慮一組固定假設(shè)而設(shè)計的，因此它們通常不具有處理假設(shè)假設(shè)集有所不同的其他情況的能力。我們提出了一種邏輯來推斷一組假設(shè)（即測試應(yīng)用程序的結(jié)果）是否允許聲稱IUT符合規(guī)范（如果假設(shè)一組特定的假設(shè)（從資料庫中提取））。

著錄項

相似文獻(xiàn)

  • 外文文獻(xiàn)
  • 中文文獻(xiàn)
  • 專利
代理獲取

客服郵箱：kefu@zhangqiaokeyan.com

京公網(wǎng)安備：11010802029741號 ICP備案號：京ICP備15016152號-6 六維聯(lián)合信息科技 (北京) 有限公司?版權(quán)所有

  • 客服微信

  • 服務(wù)號